*** empty log message ***

diff --git a/man/ChangeLog b/man/ChangeLog
index 4a34024d60aa30a069f322b597a854495eb95acf..3dd4f34730770e70cc11a6037a0a321b0dc47be9 100644 (file)
--- a/man/ChangeLog
+++ b/man/ChangeLog
@@ -5,6 +5,7 @@
        in-line.
 
        * gpl.texi: New file with text of GPL.
+       * Makefile.in (EMACSSOURCES): Add gpl.texi.
 
 2007-07-25  Glenn Morris  <rgm@gnu.org>